A. Hansen-Loeve. Russkiy formalizm.
Keywords: Russian formalism
|Consumer Expectations of Capacity Constrains and Their Effect on the Demand for Multi-Class Air Travel - Battersby, Bryn D|
This paper argues that a consumer's decision on ticket class takes into account the expected likelihood of obtaining a seat in a particular class which, in turn, partially depends on an optimum ''transaction cost''. Taking into account the preferences of the consumer and the information that the consumer is endowed with, the consumer will select a ticket that includes its own optimal transaction cost...
Keywords: SOFTWARE ENGINEERING; FORMALISM; ARCHITECTURE (COMPUTERS)
|Modeling the Effect of Enlarging Seating Room on Passengers' Preference of Taiwan's Domestic Airlines - Lu, Jin-Long|
This study addresses the need for measuring the effect of enlarging seating room in airplane on passengers' preferences of airline in Taiwan. The results can assist Taiwan's domestic air carriers in better understanding their customers' expectations. Stated choice experiment is used to incorporate passengers' trade-offs in the preferred measurement, and three major attributes are taken into account in the stated choice experiment: (1) type of seat (enlarged or not), (2) price, and (3) brand name...
Keywords: ALGORITHMS; BOOLEAN ALGEBRA; FORMALISM; TRANSLATING; MATHEMATICAL MODELS
|The Schema Concept: Bartlett till Now - Nicoletta Caramelli|
When in 1932 Bartlett first used the concept of âschemaâ borrowing it from Head, he intended to suggest a unitary structure whose elements interacted in a complex way. This structure, which aimed to insure the continuity of the cognising organism, was at the same time the expression of the functional principle responsible for the mutual interdependence between an organism, the human being, and its environment...
Keywords: cognition; schema; formalism; structure; organism; attunement
|Neptune Aerocapture Mission and Spacecraft Design Overview - Bailey, R. W.|
A detailed Neptune aerocapture systems analysis and spacecraft design study was performed as part of NASA s In-Space Propulsion Program. The primary objective was to assess the feasibility of a spacecraft point design for a Neptune/Triton science mission that uses aerocapture as the Neptune orbit insertion mechanism. This paper provides an overview of the science, mission and spacecraft design resulting from that study...
Keywords: STRINGS; LANGUAGES; CRITERIA; FORMALISM; DELETION; ALPHABETS; ANNOTATIONS
|USML-1 microgravity glovebox experiment no. 1 Passive Accelerometer System - Alexander, J. Iwan D.|
The passive accelerometer system (PAS) is a simple moving ball accelerometer capable of measuring the small magnitude steady relative acceleration that occurs in a low earth orbit spacecraft due to atmospheric drag and the earth's gravity gradient. The accelerometer can be used when the spacecraft continuously rotates during the orbit such that some line of reference in the craft always points along the vector connecting the earth's mass center with the spacecraft mass center...
Keywords: HARMONIC OSCILLATORS; OSCILLATORS; QUANTUM MECHANICS; SYMMETRY; CLASSICAL MECHANICS; FORMALISM; HADRONS
|Route Monopolie and Optimal Nonlinear Pricing - Tournut, Jacque|
To cope with air traffic growth and congested airports, two solutions are apparent on the supply side: 1) use larger aircraft in the hub and spoke system; or 2) develop new routes through secondary airports. An enlarged route system through secondary airports may increase the proportion of route monopolies in the air transport market.The monopoly optimal non linear pricing policy is well known in the case of one dimension (one instrument, one characteristic) but not in the case of several dimens...
Keywords: FORMALISM; KNOWLEDGE REPRESENTATION; LANGUAGES; SEMANTICS; AMBIGUITY; INTEROPERABILITY; PROTOCOL (COMPUTERS)
|Archiving Space Geodesy Data for 20 Years at the CDDIS - Noll, Carey E.|
Since 1982, the Crustal Dynamics Data Information System (CDDIS) has supported the archive and distribution of geodetic data products acquired by NASA programs. These data include GPS (Global Positioning System), GLONASS (GLObal NAvigation Satellite System), SLR (Satellite Laser Ranging), VLBI (Very Long Baseline Interferometry), and DORIS (Doppler Orbitography and Radiolocation Integrated by Satellite)...
Keywords: SYSTEMS ANALYSIS; OPERATIONS RESEARCH; NORMS; LOGIC; CONSTRAINTS; REQUIREMENTS; FORMALISM
|Five-Segment Booster (FSB) Abort to Orbit (ATO) Studies - Tobias, Mark|
The Five Segment Booster (FSB) concept has been evolving for a number of years as a means to enhance the overall safety and reliability of the Space Shuttle system by minimizing the need to fly the more challenging Return to Launch Site (RTLS) and Transoceanic Abort Landing (TAL) abort profiles. The initial evaluation of the FSB concept was conducted in 1996 to determine the feasibility of the FSB in achieving transatlantic abort leading TAL from the pad, thus eliminating the return to launch si...
Keywords: FORMALISM; PROBLEM SOLVING; ALGORITHMS; FUNCTIONS (MATHEMATICS); FUZZY SETS
|A Novel Kinesin-Like Protein with a Calmodulin-Binding Domain - Wang, W.|
Calcium regulates diverse developmental processes in plants through the action of calmodulin. A cDNA expression library from developing anthers of tobacco was screened with S-35-labeled calmodulin to isolate cDNAs encoding calmodulin-binding proteins. Among several clones isolated, a kinesin-like gene (TCK1) that encodes a calmodulin-binding kinesin-like protein was obtained. The TCK1 cDNA encodes a protein with 1265 amino acid residues...
Keywords: ELECTROLYTES; NUCLEATION; WATER; SATURATION (CHEMISTRY); FORMALISM; AGGREGATES; INTERFACIAL TENSION; LEVITATION
|An Analysis of Delay and Travel Times at Sao Paulo International Airport (AISP/GRU): Planning Based on Simulation Model - Santana, Erico Soriano Martins|
The occurrence of flight delays in Brazil, mostly verified at the ground (airfield), is responsible for serious disruptions at the airport level but also for the unchaining of problems in all the airport system, affecting also the airspace. The present study develops an analysis of delay and travel times at Sao Paulo International Airport/ Guarulhos (AISP/GRU) airfield based on simulation model. Different airport physical and operational scenarios had been analyzed by means of simulation...
Keywords: SYSTEMS SIMULATION; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING; FORMALISM; ARCHITECTURE (COMPUTERS)
|Desktop Access to Full-Text NACA and NASA Reports: Systems Developed by NASA Langley Technical Library - Ambur, Manjula Y.|
NASA Langley Technical Library has been involved in developing systems for full-text information delivery of NACA/NASA technical reports since 1991. This paper will describe the two prototypes it has developed and the present production system configuration. The prototype systems are a NACA CD-ROM of thirty-three classic paper NACA reports and a network-based Full-text Electronic Reports Documents System (FEDS) constructed from both paper and electronic formats of NACA and NASA reports...
Keywords: FORMALISM; PROJECT MANAGEMENT; MANAGEMENT SYSTEMS; CHARTS; MANAGEMENT PLANNING
|Only a Ghost! by Irenæus the Deacon - Sabine Baring-Gould|
LibriVox recording of Only a Ghost! by Irenæus the Deacon by Sabine Baring-Gould. Read in English by MaryAnn.Baring-Gould's humorous observations on the various Christian sects to be found in "the most learned church in the most religious country in the world" (i.e. London in 1870) contains a challenge to Christians of today to focus on the substance of faith rather than the forms of public worship...
Keywords: librivox; audiobooks; ghost; Anglican; formalism; sect; primitive christianity; incomparable liturgy
Downloads: 856 (1 review)
|SRB environment evaluation and analysis. Volume 2: RSRB joint filling test/analysis improvements - Knox, E. C.|
Following the Challenger accident a very comprehensive solid rocket booster (SRB) redesign program was initiated. One objective of the program was to develop expertise at NASA/MSFC in the techniques for analyzing the flow of hot gases in the SRB joints. Several test programs were undertaken to provide a data base of joint performance with manufactured defects in the joints to allow hot gases to fill the joints...
Keywords: DATA ACQUISITION; DECISION MAKING; EXPERT SYSTEMS; KNOWLEDGE BASED SYSTEMS; ARTIFICIAL INTELLIGENCE; COMPUTER NETWORKS; DOMAINS; FORMALISM
|Aircraft Noise Perception Study in Brazil: A Perspective on Airport Sustainable Growth and Environmental Awareness - deArantesGomesEller, Rogerio|
Aircraft noise perception is related to several variables that are tangible and objective, such as the number of operations, flight schedules. Other variables, instead, are more subjective, such as preferences. However, although their elusiveness, they contribute to determine the individuals' perception of this type of externality. Despite the fact that the complaints related to aeronautical noise have been registered since the decade of 50, it has been observed that the perception of noise seem...
Keywords: AUTOMATA THEORY; SOFTWARE ENGINEERING; FORMALISM; COMPUTER PROGRAMMING; PROTOTYPES; ADAPTATION; REACTIVITY; SIMULATION
|Convenient Airports: Point of View of the Passengers - Magri, Adival Aparecido, Jr.|
The competition among airlines or among airports aiming at to increase the demand for its services has been more and more incited. Knowledge the perception of the users for the offered services means to meet the customer's needs and expectations in order either to keep the customer, and therefore keep a significant advantage over competitors. The passenger of the air transportation wants rapidity, security and convenience...
Keywords: OBSTACLE AVOIDANCE; ROBOT CONTROL; TEAMS; CONTROL SIMULATION; ROBOTS; KINETIC THEORY; GAS TRANSPORT; GAS DYNAMICS; FORMALISM
|NLS Flight Simulation Laboratory (FSL) documentation - NON|
The Flight Simulation Laboratory (FSL) Electronic Documentation System design consists of modification and utilization of the MSFC Integrated Engineering System (IES), translation of the existing FSL documentation to an electronic format, and generation of new drawings to represent the Engine Flight Simulation Laboratory design and implementation. The intent of the electronic documentation is to provide ease of access, local print/plot capabilities, as well as the ability to correct and/or modif...
Keywords: MARKOV CHAINS; PETRI NETS; COMPUTATION; DISCRETE FUNCTIONS; FORMALISM; PROBABILITY DISTRIBUTION FUNCTIONS
|Unstructured grids on SIMD torus machines - Bjorstad, Petter E.|
Unstructured grids lead to unstructured communication on distributed memory parallel computers, a problem that has been considered difficult. Here, we consider adaptive, offline communication routing for a SIMD processor grid. Our approach is empirical. We use large data sets drawn from supercomputing applications instead of an analytic model of communication load. The chief contribution of this paper is an experimental demonstration of the effectiveness of certain routing heuristics...
Keywords: DEGREES OF FREEDOM; DIRAC EQUATION; LAGRANGIAN FUNCTION; OSCILLATORS; WAVE EQUATIONS; CONSISTENCY; FORMALISM; HAMILTONIAN FUNCTIONS
|Inlet-Compressor Analysis Performed Using Coupled Computational Fluid Dynamics Codes - Cole, Gary L.|
A thorough understanding of dynamic interactions between inlets and compressors is extremely important to the design and development of propulsion control systems, particularly for supersonic aircraft such as the High-Speed Civil Transport (HSCT). Computational fluid dynamics (CFD) codes are routinely used to analyze individual propulsion components. By coupling the appropriate CFD component codes, it is possible to investigate inlet-compressor interactions...
Keywords: REQUIREMENTS; FORMALISM; COMPUTER PROGRAMMING; SYSTEMS ENGINEERING; SOFTWARE ENGINEERING; PROGRAM VERIFICATION (COMPUTERS)
|The Palladium Isotopic Composition in Iron Meteorites - Chen, J. H.|
Ru, Mo and Pd are very useful indicators for the identification of nucleosynthetic components. We have developed techniques for Pd isotopes, in an effort to check the extent of isotopic effects in this mass region and for a Pt-group element which is less refractory than Ru. Stable Pd isotopes are produced by the process only (102Pd), the s-process only (104Pd), the process only (Pd-110) and by both the r- and s-processes (Pd-105, Pd-106, Pd-108)...
Keywords: ENVIRONMENTAL MONITORING; BAYES THEOREM; FORMALISM; DYNAMICAL SYSTEMS; SYSTEMS SIMULATION; COMPLEX SYSTEMS; OXYGEN PRODUCTION; LOGIC PROGRAMMING
|The Split Between Meaning and Being - Bernhard Bierschenk|
The discussion in this article takes its point of departure in the generally accepted position of cognition-oriented scientists that intelligent behaviour requires an organism/formalism, which can abstract information from the environment. By examining some operationalised schema models the author shows to what extent these have been capable of explaining the development of behaviourally meaningful cognitive functions...
Keywords: organism; formalism; cognitive functions; schema model; progressive behaviour; autonomous observer; operation space; projection mechanism; binocular disparity
|Advanced Quantum Mechanics - Pieter Kok|
Keywords: Physics; Quantum Physics; Quantum Mechanics; Formalism; Foundations of Quantum Mechanics; Measurement Theory; Schrodinger Equation; Physics
|Arul Ganesh Patent. Event Based Formalism For Data Management In A Wireless Sensor Network|
Event Based Formalism For Data Management In A Wireless Sensor Network Inventor Arul Ganesh, Bangalore (IN) Publication Date: Apr 27, 2006 Application Number: 10/974,216 Filed Oct 27, 2004
Keywords: Event Based Formalism For Data Management In A Wireless Sensor Network
|Mobility of Electron in DNA Crystals by Laser Radiation - Zhang, Kaixi|
The mobility of electrons in laser radiated DNA is closed to the energy transfer and energy migration of a biological molecule. Arrhenius has studied the conductivity of the electrons in a biological molecule. But his result is far from the experimental result and meanwhile the relation between some parameters in his theory and the micro-quantities in DNA is not very clear. In this paper, we propose a new phonon model of electron mobility in DNA and use Lippman-Schwinger equation and S-matrix th...
Keywords: DOWN-CONVERTERS; QUANTUM MECHANICS; QUANTUM OPTICS; PHOTONS; PHASE MATCHING; FORMALISM; CRYSTAL OPTICS; PHYSICAL OPTICS
|Structural Variations in Verbally Reported Objectives - Bernhard Bierschenk & Inger Bierschenk|
The study reported shows the implications of incorporating the autonomous observer into the experimental range. Subjects have verbally described pictorially mediated information, and their determination of the action centre of the observations has been made the basis for clustering ecologically significant objectives. It is demonstrated that objectives, conceptually divided into the subcomponents Figures and Grounds, are structured differently both in relation to each other and in relation to th...
Keywords: autonomy; observer; figure; ground; picture; mediated information; reference point; geometric formalism
|Mechanics of Nanotubes and Nanotube-Polymer Composites - Srivastava, Deepak|
CNT is a tubular form of carbon with diameter as small as 1 nm. Length: few nm to microns. CNT is configurationally equivalent to a two dimensional graphene sheet rolled into a tube. CNT exhibits extraordinary mechanical properties: Young's modulus over 1 Tera Pascal, as stiff as diamond, and tensile strength approx. 200 GPa. CNT can be metallic or semiconducting, depending on chirality.
Keywords: LINE SHAPE; MONTE CARLO METHOD; WATER; FORMALISM; COMPUTERIZED SIMULATION; ASYMMETRY; SPECTRAL CORRELATION; FREQUENCY MODULATION
|Stray Light Analysis - NON|
Based on a Small Business Innovation Research contract from the Jet Propulsion Laboratory, TracePro is state-of-the-art interactive software created by Lambda Research Corporation to detect stray light in optical systems. An image can be ruined by incidental light in an optical system. To maintain image excellence from an optical system, stray light must be detected and eliminated. TracePro accounts for absorption, specular reflection and refraction, scattering and aperture diffraction of light...
Keywords: BOOLEAN ALGEBRA; LATTICES (MATHEMATICS); PROBABILITY THEORY; LOGIC; ENTROPY; SYMMETRY; INFERENCE; FORMALISM
|Designing to Control Flight Crew Errors - Schutte, Paul C.|
It is widely accepted that human error is a major contributing factor in aircraft accidents. There has been a significant amount of research in why these errors occurred, and many reports state that the design of flight deck can actually dispose humans to err. This research has led to the call for changes in design according to human factors and human-centered principles. The National Aeronautics and Space Administration's (NASA) Langley Research Center has initiated an effort to design a human-...
Keywords: ENGINEERS; SOFTWARE ENGINEERING; FORMALISM; LOGIC; COMPUTER SYSTEMS PROGRAMS; SOFTWARE DEVELOPMENT TOOLS
|Coefficients for calculating thermodynamic and transport properties of individual species - Mcbride, Bonnie J.|
Libraries of thermodynamic data and transport properties are given for individual species in the form of least-squares coefficients. Values of C(sup 0)(sub p)(T), H(sup 0)(T), and S(sup 0)(T) are available for 1130 solid, liquid, and gaseous species. Viscosity and thermal conductivity data are given for 155 gases. The original C(sup 0)(sub p)(T) values were fit to a fourth-order polynomial with integration constants for H(sup 0)(T) and S(sup 0)(T)...
Keywords: COMPUTATION; FAULT TOLERANCE; FORMALISM; HARDWARE DESCRIPTION LANGUAGES; LOGIC CIRCUITS; PROVING; SIMULATION; SYNCHRONISM
|Classical Dynamics- The Lagrangian Formalism - David Tong|
The Principle of Least Action - Firstly, let�s get our notation right. Part of the power of the Lagrangian formulation over the Newtonian approach is that it does away with vectors in favour of more general coordinates. We start by doing this trivially.
Keywords: Physics; Special Relativity, General Relativity and Gravitation; Classical General Relativity; Canonical Formalism, Lagrangians, and Variational Principles; Physics
|Earth Remote Sensing Facilities for Research and Teaching at the State University of New York - Geller, Marvin|
This final report describes the remote sensing facility that was put into place at the State University of New York (SUNY) through the support obtained from the above referenced NASA award and the associated matching funds from SUNY.
Keywords: METAL OXIDE SEMICONDUCTORS; OXIDES; INVERSIONS; IMAGES; SIMULATION; THRESHOLD VOLTAGE; THREE DIMENSIONAL MODELS; CONFINEMENT; FIELD EFFECT TRANSISTORS; FORMALISM; GRADIENTS
|Development and Certification of Pratt and Whitney's Fuel and LOX Pumps - Mitchell, William S|
The development testing of the Pratt & Whitney's SSME Fuel and Lox Turbopumps has proven to be extremely valuable in preparation for Certification and Flight Readiness. Design 'lessons learned' from this program highlights the importance of overall systems engineering, including aerodynamic, thermal, mechanical, and materials systems.
Keywords: ANISOTROPIC PLATES; STRESS INTENSITY FACTORS; COMPOSITE STRUCTURES; CRACK TIPS; FRACTURE MECHANICS; WING PANELS; DEFORMATION; FORMALISM; J INTEGRAL; REISSNER THEORY
|Demonstration and Analysis of Filtered Rayleigh Scattering Flow Field Diagnostic System - Forkey, Joseph N.|
Filtered Rayleigh Scattering (FRS) is a diagnostic technique which measures velocity, temperature, and pressure by determining Doppler shift, total intensity, and spectral line shape of laser induced Rayleigh-Brillouin scattering. In the work reported here, this is accomplished by using a narrow line width, injection seeded Nd-YAG laser sheet to induce Rayleigh-Brillouin scattering from a gas flow...
Keywords: DYNAMICAL SYSTEMS; EIGENVECTORS; FORMALISM; SCALARS; MULTIVARIATE STATISTICAL ANALYSIS; SCIENTIFIC VISUALIZATION; NUMERICAL INTEGRATION; TENSOR ANALYSIS; SADDLE POINTS; DEGENERATION; THESES; EIGENVALUES
|EOL performance comparison of GaAs/Ge and Si BSF/R solar arrays - Woike, Thomas J|
EOL power estimates for solar array designs are significantly influenced by the predicted degradation due to charged particle radiation. New radiation-induced power degradation data for GaAs/Ge solar arrays applicable to missions ranging from low earth orbit (LEO) to geosynchronous earth orbit (GEO) and compares these results to silicon BSF/R arrays. These results are based on recently published radiation damage coefficients for GaAs/Ge cells...
Keywords: FORMALISM; GROUND STATE; HAMILTONIAN FUNCTIONS; HARMONIC OSCILLATORS; MOMENTUM; QUANTUM MECHANICS; WAVE PACKETS; ANALYSIS (MATHEMATICS); CLASSICAL MECHANICS; EQUATIONS OF MOTION
|Trace Element Geochemistry of Martian Iddingsite in the Lafayette Meteorite - Treiman, Allan H.|
The Lafayette meteorite contains abundant iddingsite, a fine-grained intergrowth of smectite clay, ferrihydrite, and ionic salt minerals. Both the meteorite and iddingsite formed on Mars. Samples of iddingsite, olivine, and augite pyroxene were extracted from Lafayette and analyzed for trace elements by instrumental neutron activation. Our results are comparable to independent analyses by electron and ion microbeam methods...
Keywords: VISCOELASTICITY; KERNEL FUNCTIONS; CREEP PROPERTIES; FORMALISM; THERMODYNAMICS; VISCOPLASTICITY; ANISOTROPY; ISOTROPY; TIME DEPENDENCE; MECHANICAL PROPERTIES; STRESS-STRAIN RELATIONSHIPS; MATHEMATICAL MODELS
|4. Lingu IJLL Formalism Or The Regime Of Truth A Reading Of Adrienne|
Formalism in Adrienne Rich’s first book, A Change of World, has attracted different critics and scholars so far. In their interpretations, it seems that they have taken it for granted that Adrienne Rich was a formalist. But none of them has ever presented the cause for the emergence of formalism in Adrienne Rich’s early poetry. In this paper, I draw upon Michel Foucault’s theory of “repressive power” and demonstrate that formalism was actually “the regime of truth” which determined...
Keywords: Adrienne Rich; A Change of World; Formalism; Michel Foucault; Discourse Analysis; Repressive Power; Exclusion; Truth; The Regime of Truth
|Error detection and correction unit with built-in self-test capability for spacecraft applications - Timoc, Constanti|
The objective of this project was to research and develop a 32-bit single chip Error Detection and Correction unit capable of correcting all single bit errors and detecting all double bit errors in the memory systems of a spacecraft. We designed the 32-bit EDAC (Error Detection and Correction unit) based on a modified Hamming code and according to the design specifications and performance requirements...
Keywords: APPROXIMATION; EQUIVALENCE; FORMALISM; SYNCHRONISM; SYSTEMS ANALYSIS; GRAPHS (CHARTS); MANUFACTURING; PETRI NETS; ROBOTICS; SISO (CONTROL SYSTEMS); STOCHASTIC PROCESSES; CONVERGENCE; DECOMPOSITION
|FORMALISM: MOVE + MEANING (Part 1) - JEF7REY HILDNER|
PROGRESS IN PROCESS. For now, go to: www.thearchitectpainter.com/surface_7ARCHITECT/articles/formalism.htm
Keywords: formalism; move & meaning; cubism; painting; art; criticism and interpretation; design; analysis and theory; geometry and form; colin rowe, jeffrey hildner, THE ARCHITECT PAINTER PRESS; JEF7REY HILDNER
|FORMALISM: MOVE | MEANING (Part 2) - JEF7REY HILDNER|
PROGRESS IN PROCESS. For now, go to: www.thearchitectpainter.com/surface_7ARCHITECT/articles/formalism/fmm_page1.htm
Keywords: formalism; move & meaning; cubism; painting; art; criticism and interpretation; design; analysis and theory; geometry and form; colin rowe; jeffrey hildner; THE ARCHITECT PAINTER PRESS; JEF7REY HILDNER
|Progress Toward Standards for the Seamless Interoperability of Broadband Satellite Communication Networks - Ivancic, William D.|
The realization of the full potential of the National Information Infrastructure (NH) and Global Information Infrastructure (GII) requires seamless interoperability of emerging satellite networks with terrestrial networks. This requires a cooperative effort between industry, academia and government agencies to develop and advocate new, satellite-friendly communication protocols and modifications to existing communication protocol standards...
Keywords: NUMERICAL ANALYSIS; FREE BOUNDARIES; FORMALISM; CRYSTAL GROWTH; COMPUTER PROGRAMS; BOUNDARY VALUE PROBLEMS; BOUNDARY CONDITIONS; MICROGRAVITY; TECHNOLOGIES; SOLIDIFICATION; BOUNDARY INTEGRAL METHOD; TIME DEPENDENCE; SHAPES; POSITION (LOCATION); MECHANICAL PROPERTIES
|NASA Indexing Benchmarks: Evaluating Text Search Engines - Esler, Sandra L.|
The current proliferation of on-line information resources underscores the requirement for the ability to index collections of information and search and retrieve them in a convenient manner. This study develops criteria for analytically comparing the index and search engines and presents results for a number of freely available search engines. A product of this research is a toolkit capable of automatically indexing, searching, and extracting performance statistics from each of the focused sear...
Keywords: AIRCRAFT ACCIDENTS; CONFUSION; SCIENTIFIC VISUALIZATION; PILOT ERROR; ERROR ANALYSIS; SITUATIONAL AWARENESS; FORMALISM; HUMAN FACTORS ENGINEERING; FLIGHT SAFETY; AIRCRAFT ACCIDENT INVESTIGATION; AIRCRAFT PILOTS
|Measurement Protocols for In situ Analysis of Organic Compounds at Mars and Comets - Mahaffy, P. R.|
The determination of the abundance and chemical and isotopic composition of organic molecules in comets and those that might be found in protected environments at Mars is a first step toward understanding prebiotic chemistries on these solar system bodies. While future sample return missions from Mars and comets will enable detailed chemical and isotopic analysis with a wide range of analytical techniques, precursor insitu investigations can complement these missions and facilitate the identific...
Keywords: JAVA (PROGRAMMING LANGUAGE); PETRI NETS; DISTRIBUTED PROCESSING; ARCHITECTURE (COMPUTERS); COGNITION; MATHEMATICAL MODELS; FORMALISM; APPLICATIONS PROGRAMS (COMPUTERS); SEQUENTIAL ANALYSIS; COMPUTER SYSTEMS PROGRAMS; AUTONOMY
|Mutual Inductance Problem for a System Consisting of a Current Sheet and a Thin Metal Plate - Fulton, J. P.|
Rapid inspection of aircraft structures for flaws is of vital importance to the commercial and defense aircraft industry. In particular, inspecting thin aluminum structures for flaws is the focus of a large scale R&D effort in the nondestructive evaluation (NDE) community. Traditional eddy current methods used today are effective, but require long inspection times. New electromagnetic techniques which monitor the normal component of the magnetic field above a sample due to a sheet of current as ...
Keywords: FAULT TOLERANCE; HARDWARE; REDUNDANCY; SPECIFICATIONS; ALGORITHMS; DIGITAL SYSTEMS; FORMALISM; FLY BY WIRE CONTROL; MATHEMATICAL MODELS; PROGRAM VERIFICATION (COMPUTERS); SYNCHRONISM; CONTROL SYSTEMS DESIGN; ELECTROMAGNETIC INTERFERENCE; ARCHITECTURE (COMPUTERS)
|Verification of Space Station Secondary Power System Stability Using Design of Experiment - Karimi, Kamiar J.|
This paper describes analytical methods used in verification of large DC power systems with applications to the International Space Station (ISS). Large DC power systems contain many switching power converters with negative resistor characteristics. The ISS power system presents numerous challenges with respect to system stability such as complex sources and undefined loads. The Space Station program has developed impedance specifications for sources and loads...
Keywords: CONFERENCES; SENSITIVITY; RELATIVITY; FREQUENCIES; FORMALISM; COSMOLOGY; CLOCKS; SPACE MISSIONS; GRAVITATIONAL EFFECTS; GRAND UNIFIED THEORY; GLOBAL POSITIONING SYSTEM; GEODYNAMICS; COSTS; STABILITY; SPACE FLIGHT
|FORMALISM: MOVE & MEANING (Introduction) - JEF7REY HILDNER|
PROGRESS IN PROCESS. For now, go to: www.thearchitectpainter.com/surface_7ARCHITECT/articles/formalism.htm
Keywords: formalism; move & meaning; cubism; painting; art; criticism and interpretation; design; analysis and theory; geometry and form; colin rowe, jeffrey hildner, THE ARCHITECT PAINTER PRESS; JEF7REY HILDNER
|Basic research on design analysis methods for rotorcraft vibrations - Hanagud, S|
The objective of the present work was to develop a method for identifying physically plausible finite element system models of airframe structures from test data. The assumed models were based on linear elastic behavior with general (nonproportional) damping. Physical plausibility of the identified system matrices was insured by restricting the identification process to designated physical parameters only and not simply to the elements of the system matrices themselves...
Keywords: ADA (PROGRAMMING LANGUAGE); HUMAN-COMPUTER INTERFACE; PROTOTYPES; APPLICATIONS PROGRAMS (COMPUTERS); ARCHITECTURE (COMPUTERS); COMPUTER PROGRAMMING; DATA BASES; KNOWLEDGE BASES (ARTIFICIAL INTELLIGENCE); PROGRAMMING ENVIRONMENTS; ALGORITHMS; FORMALISM
|Entry, Descent, and Landing Technology Concept Trade Study for Increasing Payload Mass to the Surface of Mars - Cruz, Juan R.|
A trade study was conducted that compared various entry, descent, and landing technologies and concepts for placing an 1,800 kg payload on the surface of Mars. The purpose of this trade study was to provide data, and make recommendations, that could be used in making decisions regarding which new technologies and concepts should be pursued. Five concepts were investigated, each using a different combination of new technologies: 1) a Baseline concept using the least new technologies, 2) Aerocaptu...
Keywords: AUTONOMY; EARTH ORBITS; BANDWIDTH; SPACE EXPLORATION; MINERALS; MORPHOLOGY; SIMULATION; INSECTS; FORMALISM; NASA SPACE PROGRAMS; NANOTECHNOLOGY; SPACECRAFT DESIGN; SURVEYS; PROGRAM VERIFICATION (COMPUTERS); ASTEROID BELTS; CHEMICAL COMPOSITION
|Julie Rivkin, Michael Ryan (Editors) - Literary Theory. An Anthology|
From the Preface:"This book began, as one might guess, in the classroom. We have been teaching coursesin contemporary literary theory for the past two decades, and we have each had thefamiliar experience of not being able to match the design of our courses to any anthologycurrently available. The move from awkwardly assembled xerox packets to an actualanthology has been both a natural outgrowth of our teaching and an astonishingly complexprocess of research, selection, and projection...
Keywords: anthology; literary theory; formalism; post-structuralism; psychoanalysis; narratology; Derrida; historicism; marxism; feminism; gender studies; post-colonial studies; cultural studies; reader response; structuralism; reader response; rhetoric; deconstruction; post-modernism
|Post-Stall Aerodynamic Modeling and Gain-Scheduled Control Design - Wu, Fen|
A multidisciplinary research e.ort that combines aerodynamic modeling and gain-scheduled control design for aircraft flight at post-stall conditions is described. The aerodynamic modeling uses a decambering approach for rapid prediction of post-stall aerodynamic characteristics of multiple-wing con.gurations using known section data. The approach is successful in bringing to light multiple solutions at post-stall angles of attack right during the iteration process...
Keywords: FORMALISM; LOW EARTH ORBITS; AEROSPACE ENVIRONMENTS; CREW EXPLORATION VEHICLE; INTERNATIONAL SPACE STATION; LINEAR ENERGY TRANSFER (LET); EXTRATERRESTRIAL RADIATION; MATHEMATICAL MODELS; PROGRAM VERIFICATION (COMPUTERS); COMPUTER PROGRAMS; SPACECRAFT DESIGN; BOUNDARY CONDITIONS; SIMULATION; GREEN'S FUNCTIONS; RADIATION SHIELDING
|MIT 6.050J / 2.110J Information and Entropy, Spring 2008 - MIT OpenCourseWare|
Instructors: Paul Penfield, Seth Lloyd This course explores the ultimate limits to communication and computation, with an emphasis on the physical nature of information and information processing. Topics include: information and computation, digital signals, codes and compression, applications such as biological representations of information, logic circuits, computer architectures, and algorithmic information, noise, probability, error correction, reversible and irreversible operations, physics...
Keywords: information and entropy; computing; communications; thermodynamics; digital signals and streams; codes; compression; noise; probability; reversible operations; irreversible operations; information in biological systems; channel capacity; maximum-entropy formalism; thermodynamic equilibrium; temperature; second law of thermodynamics quantum computation